typedef sequence<> empty;
